ADD_LATEX_DOCUMENT(CFSE-2011.tex
                   DEFAULT_PDF
                   MANGLE_TARGET_NAMES
                  )
